2

Subtyping for session types in the pi calculus

Year:
2005
Language:
english
File:
PDF, 2.75 MB
english, 2005
19

Teaching clinical reasoning to medical students

Year:
2013
Language:
english
File:
PDF, 312 KB
english, 2013
29

Type inference and strong static type checking for Promela

Year:
2010
Language:
english
File:
PDF, 750 KB
english, 2010
36

Intensional and Extensional Semantics of Dataflow Programs

Year:
2003
Language:
english
File:
PDF, 287 KB
english, 2003
39

Reflection or ‘pre-reflection’: what are we actually measuring in reflective practice?

Year:
2011
Language:
english
File:
PDF, 48 KB
english, 2011